extension | φ:Q→Out N | d | ρ | Label | ID |
C23.8Q8:1C2 = C24.22D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:1C2 | 128,599 |
C23.8Q8:2C2 = C24.33D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:2C2 | 128,776 |
C23.8Q8:3C2 = C24.91D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:3C2 | 128,1047 |
C23.8Q8:4C2 = C24.547C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:4C2 | 128,1050 |
C23.8Q8:5C2 = C23.203C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:5C2 | 128,1053 |
C23.8Q8:6C2 = C24.195C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:6C2 | 128,1054 |
C23.8Q8:7C2 = C42:13D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:7C2 | 128,1056 |
C23.8Q8:8C2 = C24.198C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:8C2 | 128,1057 |
C23.8Q8:9C2 = C42.160D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:9C2 | 128,1058 |
C23.8Q8:10C2 = C24.204C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:10C2 | 128,1067 |
C23.8Q8:11C2 = C24.205C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:11C2 | 128,1069 |
C23.8Q8:12C2 = C23.224C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:12C2 | 128,1074 |
C23.8Q8:13C2 = D4xC4:C4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:13C2 | 128,1080 |
C23.8Q8:14C2 = C23.231C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:14C2 | 128,1081 |
C23.8Q8:15C2 = C23.240C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:15C2 | 128,1090 |
C23.8Q8:16C2 = C23.241C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:16C2 | 128,1091 |
C23.8Q8:17C2 = C24.215C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:17C2 | 128,1093 |
C23.8Q8:18C2 = C24.220C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:18C2 | 128,1099 |
C23.8Q8:19C2 = C24.225C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:19C2 | 128,1108 |
C23.8Q8:20C2 = C23.259C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:20C2 | 128,1109 |
C23.8Q8:21C2 = C23.261C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:21C2 | 128,1111 |
C23.8Q8:22C2 = C24.94D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:22C2 | 128,1137 |
C23.8Q8:23C2 = C24.243C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:23C2 | 128,1138 |
C23.8Q8:24C2 = C24.244C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:24C2 | 128,1139 |
C23.8Q8:25C2 = C23.309C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:25C2 | 128,1141 |
C23.8Q8:26C2 = C24:8D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:26C2 | 128,1142 |
C23.8Q8:27C2 = C23.311C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:27C2 | 128,1143 |
C23.8Q8:28C2 = C24.95D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:28C2 | 128,1144 |
C23.8Q8:29C2 = C23.313C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:29C2 | 128,1145 |
C23.8Q8:30C2 = C23.318C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:30C2 | 128,1150 |
C23.8Q8:31C2 = C24.563C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:31C2 | 128,1151 |
C23.8Q8:32C2 = C23.322C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:32C2 | 128,1154 |
C23.8Q8:33C2 = C23.324C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:33C2 | 128,1156 |
C23.8Q8:34C2 = C24.258C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:34C2 | 128,1157 |
C23.8Q8:35C2 = C24.262C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:35C2 | 128,1162 |
C23.8Q8:36C2 = C24.264C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:36C2 | 128,1164 |
C23.8Q8:37C2 = C24:4Q8 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:37C2 | 128,1169 |
C23.8Q8:38C2 = C24.269C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:38C2 | 128,1175 |
C23.8Q8:39C2 = C23.344C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:39C2 | 128,1176 |
C23.8Q8:40C2 = C24.271C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:40C2 | 128,1179 |
C23.8Q8:41C2 = C23.349C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:41C2 | 128,1181 |
C23.8Q8:42C2 = C23.350C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:42C2 | 128,1182 |
C23.8Q8:43C2 = C23.352C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:43C2 | 128,1184 |
C23.8Q8:44C2 = C23.354C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:44C2 | 128,1186 |
C23.8Q8:45C2 = C24.276C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:45C2 | 128,1187 |
C23.8Q8:46C2 = C23.356C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:46C2 | 128,1188 |
C23.8Q8:47C2 = C24.279C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:47C2 | 128,1190 |
C23.8Q8:48C2 = C23.360C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:48C2 | 128,1192 |
C23.8Q8:49C2 = C24.282C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:49C2 | 128,1193 |
C23.8Q8:50C2 = C24.283C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:50C2 | 128,1195 |
C23.8Q8:51C2 = C23.364C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:51C2 | 128,1196 |
C23.8Q8:52C2 = C24.286C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:52C2 | 128,1198 |
C23.8Q8:53C2 = C23.368C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:53C2 | 128,1200 |
C23.8Q8:54C2 = C24.289C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:54C2 | 128,1202 |
C23.8Q8:55C2 = C23.374C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:55C2 | 128,1206 |
C23.8Q8:56C2 = C24.293C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:56C2 | 128,1208 |
C23.8Q8:57C2 = C23.377C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:57C2 | 128,1209 |
C23.8Q8:58C2 = C23.379C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:58C2 | 128,1211 |
C23.8Q8:59C2 = C23.380C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:59C2 | 128,1212 |
C23.8Q8:60C2 = C24.573C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:60C2 | 128,1213 |
C23.8Q8:61C2 = C23.382C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:61C2 | 128,1214 |
C23.8Q8:62C2 = C24.96D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:62C2 | 128,1215 |
C23.8Q8:63C2 = C24.300C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:63C2 | 128,1219 |
C23.8Q8:64C2 = C23.410C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:64C2 | 128,1242 |
C23.8Q8:65C2 = C24.326C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:65C2 | 128,1285 |
C23.8Q8:66C2 = C23.458C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:66C2 | 128,1290 |
C23.8Q8:67C2 = C24.331C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:67C2 | 128,1291 |
C23.8Q8:68C2 = C24.583C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:68C2 | 128,1296 |
C23.8Q8:69C2 = C42.175D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:69C2 | 128,1298 |
C23.8Q8:70C2 = C24.340C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:70C2 | 128,1308 |
C23.8Q8:71C2 = C23.478C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:71C2 | 128,1310 |
C23.8Q8:72C2 = C23.479C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:72C2 | 128,1311 |
C23.8Q8:73C2 = C42.178D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:73C2 | 128,1312 |
C23.8Q8:74C2 = C24.347C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:74C2 | 128,1327 |
C23.8Q8:75C2 = C24.348C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:75C2 | 128,1329 |
C23.8Q8:76C2 = C42:22D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:76C2 | 128,1330 |
C23.8Q8:77C2 = C23.500C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:77C2 | 128,1332 |
C23.8Q8:78C2 = C42:23D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:78C2 | 128,1333 |
C23.8Q8:79C2 = C23.502C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:79C2 | 128,1334 |
C23.8Q8:80C2 = C42:24D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:80C2 | 128,1335 |
C23.8Q8:81C2 = C42:25D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:81C2 | 128,1341 |
C23.8Q8:82C2 = C24.97D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:82C2 | 128,1354 |
C23.8Q8:83C2 = C24.589C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:83C2 | 128,1355 |
C23.8Q8:84C2 = C24:5Q8 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:84C2 | 128,1358 |
C23.8Q8:85C2 = C23.530C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:85C2 | 128,1362 |
C23.8Q8:86C2 = C42.190D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:86C2 | 128,1365 |
C23.8Q8:87C2 = C42:30D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:87C2 | 128,1368 |
C23.8Q8:88C2 = C24.374C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:88C2 | 128,1370 |
C23.8Q8:89C2 = C23.543C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:89C2 | 128,1375 |
C23.8Q8:90C2 = C24.375C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:90C2 | 128,1381 |
C23.8Q8:91C2 = C23.553C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:91C2 | 128,1385 |
C23.8Q8:92C2 = C23.571C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:92C2 | 128,1403 |
C23.8Q8:93C2 = C23.572C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:93C2 | 128,1404 |
C23.8Q8:94C2 = C23.574C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:94C2 | 128,1406 |
C23.8Q8:95C2 = C24.384C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:95C2 | 128,1407 |
C23.8Q8:96C2 = C23.576C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:96C2 | 128,1408 |
C23.8Q8:97C2 = C23.580C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:97C2 | 128,1412 |
C23.8Q8:98C2 = C23.581C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:98C2 | 128,1413 |
C23.8Q8:99C2 = C24.389C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:99C2 | 128,1414 |
C23.8Q8:100C2 = C24.393C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:100C2 | 128,1418 |
C23.8Q8:101C2 = C24.394C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:101C2 | 128,1419 |
C23.8Q8:102C2 = C24.395C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:102C2 | 128,1420 |
C23.8Q8:103C2 = C23.591C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:103C2 | 128,1423 |
C23.8Q8:104C2 = C23.592C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:104C2 | 128,1424 |
C23.8Q8:105C2 = C23.593C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:105C2 | 128,1425 |
C23.8Q8:106C2 = C24.401C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:106C2 | 128,1426 |
C23.8Q8:107C2 = C23.595C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:107C2 | 128,1427 |
C23.8Q8:108C2 = C24.407C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:108C2 | 128,1433 |
C23.8Q8:109C2 = C23.606C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:109C2 | 128,1438 |
C23.8Q8:110C2 = C23.607C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:110C2 | 128,1439 |
C23.8Q8:111C2 = C23.608C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:111C2 | 128,1440 |
C23.8Q8:112C2 = C24.412C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:112C2 | 128,1442 |
C23.8Q8:113C2 = C23.611C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:113C2 | 128,1443 |
C23.8Q8:114C2 = C23.612C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:114C2 | 128,1444 |
C23.8Q8:115C2 = C24.413C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:115C2 | 128,1446 |
C23.8Q8:116C2 = C23.615C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:116C2 | 128,1447 |
C23.8Q8:117C2 = C23.617C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:117C2 | 128,1449 |
C23.8Q8:118C2 = C23.618C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:118C2 | 128,1450 |
C23.8Q8:119C2 = C24.418C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:119C2 | 128,1455 |
C23.8Q8:120C2 = C23.624C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:120C2 | 128,1456 |
C23.8Q8:121C2 = C24.420C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:121C2 | 128,1460 |
C23.8Q8:122C2 = C23.632C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:122C2 | 128,1464 |
C23.8Q8:123C2 = C23.643C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:123C2 | 128,1475 |
C23.8Q8:124C2 = C24.432C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:124C2 | 128,1478 |
C23.8Q8:125C2 = C24.434C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:125C2 | 128,1480 |
C23.8Q8:126C2 = C23.649C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:126C2 | 128,1481 |
C23.8Q8:127C2 = C24.435C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:127C2 | 128,1482 |
C23.8Q8:128C2 = C23.651C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:128C2 | 128,1483 |
C23.8Q8:129C2 = C24.437C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:129C2 | 128,1485 |
C23.8Q8:130C2 = C24.438C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:130C2 | 128,1489 |
C23.8Q8:131C2 = C24.440C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:131C2 | 128,1493 |
C23.8Q8:132C2 = C23.678C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:132C2 | 128,1510 |
C23.8Q8:133C2 = C23.679C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:133C2 | 128,1511 |
C23.8Q8:134C2 = C24.448C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:134C2 | 128,1512 |
C23.8Q8:135C2 = C23.681C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:135C2 | 128,1513 |
C23.8Q8:136C2 = C23.682C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:136C2 | 128,1514 |
C23.8Q8:137C2 = C24.450C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:137C2 | 128,1516 |
C23.8Q8:138C2 = C23.686C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:138C2 | 128,1518 |
C23.8Q8:139C2 = C23.696C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:139C2 | 128,1528 |
C23.8Q8:140C2 = C23.697C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:140C2 | 128,1529 |
C23.8Q8:141C2 = C24.456C23 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:141C2 | 128,1536 |
C23.8Q8:142C2 = C23.724C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:142C2 | 128,1556 |
C23.8Q8:143C2 = C23.726C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:143C2 | 128,1558 |
C23.8Q8:144C2 = C23.727C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:144C2 | 128,1559 |
C23.8Q8:145C2 = C24:8Q8 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:145C2 | 128,1580 |
C23.8Q8:146C2 = C24.166D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 32 | | C2^3.8Q8:146C2 | 128,1581 |
C23.8Q8:147C2 = C42:43D4 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:147C2 | 128,1584 |
C23.8Q8:148C2 = C23.753C24 | φ: C2/C1 → C2 ⊆ Out C23.8Q8 | 64 | | C2^3.8Q8:148C2 | 128,1585 |
C23.8Q8:149C2 = C42:42D4 | φ: trivial image | 64 | | C2^3.8Q8:149C2 | 128,1022 |
C23.8Q8:150C2 = C4xC22wrC2 | φ: trivial image | 32 | | C2^3.8Q8:150C2 | 128,1031 |
C23.8Q8:151C2 = C4xC22.D4 | φ: trivial image | 64 | | C2^3.8Q8:151C2 | 128,1033 |